Nuprl Definition : tagged-messages
0,22
postcript
pdf
tagged-messages(
l
;
s
;
v
;
L
) == map(
x
.<
l
,
x
>;tagged-list-messages(
s
;
v
;
L
))
latex
Definitions
map(
f
;
as
)
,
tagged-list-messages(
s
;
v
;
L
)
FDL editor aliases
tagged-messages
origin
x.<l,x>;tagged-list-messages(s;v;L)) x.<l,x>;tagged-list-messages(s;v;L))